Quantitative Techniques for Dependable Distributed Systems (qtdds) 2 Partners
نویسندگان
چکیده
Country and Responsible Institutions and Participants Argentina Dr. Pedro R. D’Argenio FaMAF, Universidad Nacional de Córdoba Dr. Pedro R. D’Argenio Dr. Laura Brandán Briones Lic. Nicolás Wolovick (PhD student) Lic. Sergio Giro (PhD student) Lic. Araceli Acosta (PhD student) Germany Prof.Dr.-Ing. Holger Hermanns DSS, Universität des Saarlandes Prof.-Dr.Ing. Holger Hermanns Lijun Zhang, Dipl Inform (PhD student) Christian Eisentraut, MSc (PhD student) Ernst Moritz Hahn, MSc (PhD student) Fakultät Informatik, Technische Universität Dresden Prof.Dr. Christel Baier Marcus Größer, MSc (PhD student) Dipl.Inform. Frank Ciesinski (PhD student) MOVES (I2), RWTH Aachen Prof.dr.ir. Joost-Pieter Katoen Dr.-Ing. Henrik Bohnenkamp
منابع مشابه
Research on Dependable Distributed Systems for Smart Grid
Within the last few years, smart grid has been one of major trends in the electric power industry and has gained popularity in electric utilities, research institutes and communication companies. As applications for smart grid become more distributed and complex, the probability of faults undoubtedly increases. This fact has motivated to construct dependable distributed systems for smart grid. ...
متن کاملTransformation of Guarded Statecharts for Quantitative Evaluation of Dependable Embedded Systems
We propose a modeling and an evaluation technique for the validation of the dependability of distributed systems such as networked embedded systems that consist of autonomous loosely coupled nodes. The approach is based on the Guarded Statecharts and on a transformation of them to models amenable to a quantitative evaluation, in particular, to Generalized Stochastic Petri Nets. It permits to co...
متن کاملCaberNet Vision of Research and Technology Development in Distributed and Dependable Systems
Foreword CaberNet 1 is the Network of Excellence (NoE) in distributed and dependable systems. It is funded by the European Commission's ESPRIT Programme. Its mission is to coordinate top-ranking European research in distributed and dependable systems, to make it accessible to governments and industries and to enhance the quality of professional training with regards to such systems. CaberNet ad...
متن کاملA Middleware for Dependable Distributed Real-Time Systems
New middleware is proposed to support the development of dependable distributed real-time systems for avionics, sensor and shipboard computing. Many of these systems require distributed computing in order to perform increasingly complex missions. They also require real-time performance, dependable software, and may face constraints that limit hardware redundancy. Real-time performance and fault...
متن کاملAbstractions for Constructing Dependable Distributed Systems
ions for Constructing Dependable Distributed Systems Shivakant Mishra1 and Richard D. Schlichting
متن کامل